Dipartimento di Informatica Università degli Studi di Verona
نویسندگان
چکیده
Non-Interference Roberto Giacobazzi Isabella Mastroeni Dipartimento di Informatica Università di Verona (roberto.giacobazzi|isabella.mastroeni)@univr.it Questo rapporto è disponibile su Web all’indirizzo: This report is available on the web at the address: http://www.di.univr.it/report
منابع مشابه
A A Logical Verification Methodology for Service-Oriented Computing
ALESSANDRO FANTECHI, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze STEFANIA GNESI, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, ISTI CNR, Pisa ALESSANDRO LAPADULA, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze FRANCO MAZZANTI, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, ISTI CNR, Pisa ROSARIO PUGLIESE, Di...
متن کاملMighty mica: synthetic clay remediates radium.
Dipartimento di Medicina, Clinica e delle Patologie emergenti, and Dipartimento di Biopatologia e Metologie Biomediche, Università degli Studi di Palermo, Via del Vespro 141, 90127 Palermo, Italy; Dipartamento di Medicina Clinica e Sperimentale, Università degli Studi di Verona, Verona, Italy; Dipartimento di Anatomia Umana, Università degli Studi di Messina, Messina, Italy; Direzione Medica Gl...
متن کاملP systems with vague boundaries: the t-norm approach
*Università degli Studi di Milano Dipartimento di Scienze dell'Informazione Via Comelico 39, 20135 Milano, Italy E-mail: [email protected] **Università degli Studi di Milano Dipartimento di Informatica e Comunicazione Via Comelico 39, 20135 Milano, Italy E-mail: [email protected] ***Università degli Studi di Salerno Dipartimento di Matematica e Informatica Via Ponte don Melillo, 84084 F...
متن کاملGHItaly 2017: Game-Computer Interaction in Research
• Barbara Rita Barricelli – Università degli Studi di Milano • Riccardo Berta – Università degli Studi di Genova • Maresa Bertolo – Dipartimento di Design, Politecnico di Milano • Matteo Bittanti – IULM Libera Università di Lingue e Comunicazione • Umberto Castellani – Università di Verona • Alessandro De Gloria – Università degli Studi di Genova • Maria De Marsico – Sapienza Università di Roma...
متن کاملIn vitro Antifungal Activity of Biopolymeric Foam Activated with Carvacrol
Background: Active packaging represents a defining strategy to improve food quality and safety of the packaged foods. This study aimed to evaluate the in vitro ability of commercial biopolymeric foams, namely Mater-Bi (MB), activated with 20% of carvacrol, to develop a completely biodegradable and compostable packaging to inhibit the growth of spoilage and pathogenic yeasts. Methods: MB foams,...
متن کامل